(define (problem morris-robot1)
    (:domain morris)
  (:objects A)
  (:goal (and (charged) (not (hole))))
  (:init (at A) (charged) (hole))
  )